Compact Subsets of the First Baire Class
نویسنده
چکیده
Perhaps the earliest results about pointwise compact sets of Baire class-1 functions are the two selection theorems of E. Helly found in most of the standard texts on real variable (see, e.g., [Lo], [N]). These two theorems are really theorems about a particular example of a compact set of Baire class-1 functions known today as Helly space, the space of all nondecreasing functions from the unit interval I = [0, 1] into itself. More recently, the notion of Baire class-1 function turned out to also be important in some areas of functional analysis (see [R3]). For example, Odell and Rosenthal [OR] showed that the double dual of a separable Banach space E with the weak∗ topology consists only of Baire class-1 functions defined on the unit ball of E∗ if and only if the space E contains no subspace isomorphic to `. This resulted in a renewed interest in this class of spaces. For example, building on the work of Rosenthal [R2], Bourgain, Fremlin and Talagrand [BFT] proved analogues of the two theorems of Helly for the whole first Baire class. Using their results Godefroy [Go] showed that this class of spaces enjoys some interesting permanence properties. For example, if a compact space K is representable as a compact set of Baire class-1 functions, then so is P (K), the space of all Radon probability measures on K with the weak∗ topology. Some further permanence properties of this class of spaces were obtained by Marciszewski ([M1], [M2]) and an excellent survey of the early results is given by R. Pol [Po2]. Our paper is an attempt towards a fine structure theory of compact subsets of first Baire class. The first result that we give is a positive answer to a natural question one usually asks in such a context.
منابع مشابه
Pontryagin duality in the class of precompact Abelian groups and the Baire property
We present a wide class of reflexive, precompact, non-compact, Abelian topological groupsG determined by three requirements. They must have the Baire property, satisfy the open refinement condition, and contain no infinite compact subsets. This combination of properties guarantees that all compact subsets of the dual group G are finite. We also show that many (non-reflexive) precompact Abelian ...
متن کاملRepresenting Trees as Relatively Compact Subsets of the First Baire Class
AMS Mathematics Subject Classification (2000): 46B03, 46B05
متن کاملCodings of separable compact subsets of the first Baire class
Let X be a Polish space and K a separable compact subset of the first Baire class on X. For every sequence f = (fn)n dense in K, the descriptive set-theoretic properties of the set Lf = {L ∈ [N] : (fn)n∈L is pointwise convergent} are analyzed. It is shown that if K is not first countable, then Lf is Π 1 1 complete. This can also happen even if K is a pre-metric compactum of degree at most two, ...
متن کاملWhen are Borel functions Baire functions ?
The following two theorems give the flavour of what will be proved. THEOREM. Let Y be a complete metric space. Then the families of first Baire class functions and of first Borel class functions from [0, 1] to Y coincide if and only if Y is connected and locally connected. THEOREM. Let Y be a separable metric space. Then the families of second Baire class functions and of second Borel class fun...
متن کاملFinite Partitions of Topological Groups into Congruent Thick Subsets
We establish fairly general sufficient conditions for a locally compact group (a Baire topological group) to admit partitions into finitely many congruent μ-thick (everywhere of second category) subsets.
متن کامل